How to repeat the problem on WinPython 3.4 64-bit on Windows 7 64-bit: Install pycosat and conda using the binaries provided by Chris Gholke; Do : conda init conda install mingw What I did is I wrote a simple pyx code and tried to compile it using distuti